Buy Used and New Dragan Bosnacki Books

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733690

Format: Paperback (285 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later

Model Checking Software: 9Th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes In Computer Science): 2318

by Dragan Bosnacki

ISBN 13: 9783540434771

Format: Paperback (259 pages)
Publisher: Springer
Published: 27 Mar 2002

Save for later